2261. Test pattern generation using Boolean proof engines
پدیدآورنده: / by Rolf Drechsler ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
رده :
TK
,
7874
.
58
,.
T47
,
2009
2262. Test pattern generation using Boolean proof engines
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
2263. Testing and tuning market trading systems :
پدیدآورنده: Timothy Masters.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
2264. The Amazing Journey of Reason
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
2265. The Design and analysis parallel alogrithms
پدیدآورنده: / Selim G, Aki
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2266. The Design and analysis parallel alogrithms
پدیدآورنده: / Selim G, Aki
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2267. The Desin and analysis of parallel algorithms
پدیدآورنده: Akl, Selim G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
2268. The Lanczos method :
پدیدآورنده: Louis Komzsik
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
رده :
QA76
.
9
.
M35
K66
2003
2269. The Lanczos method : evolution and application
پدیدآورنده: Komzsik, Louis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science -- Mathematics ► Numerical analysis ► Computer algorithms
رده :
004
K81i
2270. The Lanczos method: evolution and application
پدیدآورنده: Komzsik, Louis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
رده :
QA
76
.
9
.
M35
K66
2271. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
2272. The Macintosh bible /
پدیدآورنده: Sharon Zardetto Aker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
2273. The Mathematica GuideBook for Programming
پدیدآورنده: by Michael Trott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science.
2274. The P=NP question and Geodel's lost letter
پدیدآورنده: Richard J. Lipton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
2275. The P=NP question and Geodel's lost letter
پدیدآورنده: / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
2276. The Traveling Salesman Problem and Its Variation
پدیدآورنده: / edited by Gregory Gutin, Abraham P. Punnen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Computational complexity.,Algorithms.,Mathematical optimization.
رده :
QA
,
76
.
9
,.
M35
2277. The algorithm design manual
پدیدآورنده: Skiena, Steven S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43
S55
2008
2278. The algorithm design manual
پدیدآورنده: Skiena, Steven S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer algorithms
رده :
QA
76
.
9
.
A43
S55
1998
2279. The algorithm design manual
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer algorithms. ;
2280. The algorithm design manual
پدیدآورنده: Skiena, Steven S
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer algorithms
رده :
QA
76
.
9
.
A43
.
S55
1998
